Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
351	Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Knowledge engineering Information science Technical communication Frame language Wireless sensor network Upper ontology Formal ontology
352	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
353	Text and Data Mining: Technologies Under Construction WHO’S INSIDE Accenture American Institute of Biological Sciences Add to Reading List Source URL: www.copyright.com Language: English - Date: 2016-02-09 11:47:05 Business intelligence Formal sciences Data management Natural language processing Text mining Prescriptive analytics Analytics Data mining Unstructured data Big data Data analysis Data science
354	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
355	Applied Ontology ? (–3 IOS Press 1 B IOT OP: An Upper Domain Ontology for the Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-06-30 08:53:11 Ontology Information science Technical communication Knowledge representation Semantic Web Upper ontology Gene ontology Formal ontology Barry Smith Web Ontology Language Suzanna Lewis Applied ontology
356	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
357	Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-05 16:21:44 Formal methods NuSMV Logic in computer science Model checking Formal verification Invariant
358	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
359	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
360	What matters: Size does, Smarts Don’t Albrecht Zimmermann and Bj¨orn Bringmann Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, 3001 Leuven, Belgium {Albrecht.Zimmermann,Bjorn.Brin Add to Reading List Source URL: www.ke.tu-darmstadt.de Language: English - Date: 2009-11-06 11:55:58 Model selection Machine learning Formal sciences Statistical classification Cross-validation Support vector machine Data mining Feature selection DM

UPDATE